Ω 論理
Ω-logic
Ω-論理 - Wikipedia
Ω-logic - Wikipedia
依岡輝幸「強制公理とΩ-論理」2009
ZFC 集合論
の論理として考へると、
連續體假說
の否定を豫想する